Java with CREAM for Temporal Constraints
نویسندگان
چکیده
Computational problems from many different application areas can be seen as temporal constraint-based problems. For example, scheduling, planning, computational linguistics and database design applications can all be seen in this way. In this paper we present a temporal constraint solver based on the Java Cream constraint library for managing problems involving numeric and symbolic temporal information. The solving system comes with a graphic user interface that allows the user to input the temporal information of a given problem and to check the consistency of these constraints in an interactive manner.
منابع مشابه
Implementing moving objects using JAVA generic classes
Spatio-temporal database is a new type of database that manages spatio-temporal objects and supports corresponding query languages. If position and/or extent of an objects changes continuously, we talk about moving object database. Standard operations on non-moving objects can be applied to moving objects through a process of temporal lifting. In this paper, a generic JAVA implementation of mov...
متن کاملDeclarative Concurrency in Java
We propose a high-level language based on rst order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively state the system safety properties as temporal constraints on speci c program points of interest. Higher-level synchronization constraints on methods in a class may be de ned using these temporal constraints. The con...
متن کاملJava Bytecode Veriication Using Model Checking ?
We provide an abstract interpretation for Java bytecode in order to build nite state models of bytecode programs. The bytecode constraints for assuring safety are formulated in terms of temporal logic formulae. These formulae are checked against the nite program models by a (standard) model checker. By doing so we see a practical way to perform bytecode veriication on a formal basis. This could...
متن کاملJeeg: temporal constraints for the synchronization of concurrent objects
We introduce Jeeg, a dialect of Java based on a declarative replacement of the synchronization mechanisms of Java that results in a complete decoupling of the ‘business’ and the ‘synchronization’ code of classes. Synchronization constraints in Jeeg are expressed in a linear temporal logic which allows to effectively limit the occurrence of the inheritance anomaly that commonly affects concurren...
متن کاملExecution-Based Model Checking of Interrupt-Based Systems
Execution-based model checking (EMC) is a verification technique based on executing a multi-threaded/multiprocess program repeatedly in a systematic manner in order to explore the different interleavings of the program. This is in contrast to traditional model checking, where a model of a system is analyzed. Several execution-based model-checking tools exist at this point, such as for example V...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004